The article considers the problem of fault-tolerant satellite control software design. To provide the control software fault-tolerance the N-version programming based on program redundancy is used. In the paper the peculiarities of the design of control software for communications satellite system are presented. The article suggests the model for the choice of optimal structure of N-version software under resource requirement constraints. To solve the optimization problem it is proposed an algorithm. Numerical example illustrates how fault-tolerant control software for communications satellite system can be designed in order to increase software reliability using N-version programming.
展开▼